Quotients and colimits of κ-quantales
نویسندگان
چکیده
منابع مشابه
Quotients and Colimits of Κ-quantales
Let κQnt be the category of of κ-quantales, quantales closed under κ-joins in which the monoid identity is the largest element. (κ is an infinite regular cardinal.) Although the lack of lattice completeness in this setting would seem to mitigate against the techniques which lend themselves so readily to the calculation of frame quotients, we show how to easily compute κQnt quotients by applying...
متن کاملOrthomodular Lattices and Quantales
Let L be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of L contained in the center of L and endomorphisms j of L satisfying the Borceux-Van den Bossche conditions.
متن کاملQuantales and Observational Semantics
We illustrate the idea that quantales can be regarded as algebras of experimental observations on physical systems, and we give a survey of some research in computer science where this idea has been used. We extend the mathematical framework hitherto available so that it can be applied to more general systems than before, in particular to quantum systems and systems whose behaviour is partially...
متن کاملQuantales and Continuity Spaces
The theory of metric spaces provides an elementary introduction to topology and unies many branches of classical analysis. Using it, the intuitive notions of continuity, limit and Cauchy sequence can be developed in a very general setting. Moreover, since metric techniques are frequently much more powerful than topological ones, they make possible simpler and more elegant solutions to many prob...
متن کاملQuantales and Temporal Logics
We propose an algebraic semantics for the temporal logic CTL∗ and simplify it for its sublogics CTL and LTL. We abstractly represent state and path formulas over transition systems in Boolean left quantales. These are complete lattices with a multiplication that preserves arbitrary joins in its left argument and is isotone in its right argument. Over these quantales, the semantics of CTL∗ formu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2011
ISSN: 0166-8641
DOI: 10.1016/j.topol.2011.06.029